1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W/49N5SPP |
Repositório | sid.inpe.br/plutao/2023/08.28.12.08 |
Última Atualização | 2023:08.28.12.08.39 (UTC) simone |
Repositório de Metadados | sid.inpe.br/plutao/2023/08.28.12.08.39 |
Última Atualização dos Metadados | 2023:09.14.01.20.17 (UTC) administrator |
Rótulo | lattes: 4896052217878979 1 SantosSantVija:2013:AlTrUM |
Chave de Citação | ArantesSantVija:2013:AbMoFo |
Título | Testes de Software de aplicações espacias: abordagem por modelos formais e oráculos |
Formato | On-line |
Ano | 2013 |
Data de Acesso | 20 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 93 KiB |
|
2. Contextualização | |
Autor | 1 Arantes, Alessandro 2 Santiago Júnior, Valdivino Alexandre de 3 Vijaykumar, Nandamudi Lankalapalli |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 3 8JMKD3MGP5W/3C9JHTU |
Grupo | 1 CAP-COMP-SPG-INPE-MCTI-GOV-BR 2 LAC-CTE-INPE-MCTI-GOV-BR 3 LAC-CTE-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 gunz@uol.com.br 2 valdivino.santiago@inpe.br 3 vijay@lac.inpe.br |
Endereço de e-Mail | lurebelo@gmail.com |
Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 13 (WORCAP) |
Localização do Evento | São José dos Campos |
Data | 13-14 nov. 2013 |
Editora (Publisher) | INPE |
Cidade da Editora | São José dos Campos |
Título do Livro | Anais |
Tipo Terciário | Sessão Oral |
Histórico (UTC) | 2023-08-28 12:08:39 :: simone -> administrator :: 2023-09-14 01:20:17 :: administrator -> simone :: 2013 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo de Versão | publisher |
Resumo | O INPE desenvolve sistemas embarcados para satélites científicos e balões estratosféricos e, consequentemente, os processos Verificação e Validação (V&V) exigem cuidados especiais na detecção e prevenção de defeitos. Neste cenário, a geração e execução automática de casos de teste proporciona um ganho significativo de produtividade no trabalho de especialistas que, aliado a um oráculo automatizado de resultados de testes, pode avaliar o comportamento de sistemas reativos diante dos eventos aos quais estará sujeito. Este trabalho tem por objetivo desenvolver um oráculo automatizado de teste baseando-se, exclusivamente, no código-fonte da aplicação. O grande desafio de uma proposta dessa natureza é como gerar, automaticamente e tomando como base somente o código-fonte, os resultados esperados para um determinado dado de entrada de teste. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Testes de Software... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Testes de Software... |
Arranjo 3 | urlib.net > BDMCI > Fonds > WORCAP > XIII WORCAP > Testes de Software... |
Arranjo 4 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGIP > XIII WORCAP > Testes de Software... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W/49N5SPP |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W/49N5SPP |
Idioma | pt |
Arquivo Alvo | Arantes_testes.pdf |
Grupo de Usuários | lattes marcelo.pazos@inpe.br simone |
Visibilidade | shown |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS 8JMKD3MGPDW34P/49QQH7H |
Lista de Itens Citando | sid.inpe.br/mtc-m16c/2023/09.14.01.19 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
URL (dados não confiáveis) | http://www.lac.inpe.br/worcap2013/programacao.php |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn keywords lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|